Hopf Extension Theorem of Measure
نویسندگان
چکیده
The authors have presented some articles about Lebesgue type integration theory. In our previous articles [12, 13, 26], we assumed that some σ-additive measure existed and that a function was measurable on that measure. However the existence of such a measure is not trivial. In general, because the construction of a finite additive measure is comparatively easy, to induce a σadditive measure a finite additive measure is used. This is known as an E. Hopf’s extension theorem of measure [15].
منابع مشابه
An extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملThe Hopf Extension Theorem of Measure
The authors have presented some articles about Lebesgue type integration theory. In our previous articles [12, 13, 26], we assumed that some σ-additive measure existed and that a function was measurable on that measure. However the existence of such a measure is not trivial. In general, because the construction of a finite additive measure is comparatively easy, to induce a σadditive measure a ...
متن کاملThe Structure Theorem for quasi-Hopf bimodules: from quasi-antipodes to preantipodes
It is known that the Fundamental Theorem of Hopf modules can be used to characterize Hopf algebras: a bialgebra H over a field is a Hopf algebra (i.e. it is endowed with a so-called antipode) if and only if every Hopf module M over H can be decomposed in the form M coH ⊗ H , where M coH denotes the space of coinvariant elements in M . A partial extension of this equivalence to the case of quasi...
متن کاملgalois extension for a compact quantum group
The aim of this paper is to introduce the quantum analogues of torsors for a compact quantum group and to investigate their relations with representation theory. Let A be a Hopf algebra over a field k. A theorem of Ulbrich asserts that there is an equivalence of categories between neutral fibre functors on the category of finitedimensional A-comodules and A-Galois extensions of k. We give the c...
متن کاملGalois extensions for coquasi-Hopf algebras
The notions of Galois and cleft extensions are generalized for coquasi-Hopf algebras. It is shown that such an extension over a coquasi-Hopf algebra is cleft if and only if it is Galois and has the normal basis property. A Schneider type theorem ([33]) is proven for coquasi-Hopf algebras with bijective antipode. As an application, we generalize Schauenburg’s bialgebroid construction for coquasi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Formalized Mathematics
دوره 17 شماره
صفحات -
تاریخ انتشار 2009